Message destroyProfessor(Professor)(
Faculty
::
destroyProfessor
)
Operation
Faculty
::
destroyProfessor
Message to self
No
Sender
persistency client
Receiver
--Not Named--